8Th Tap, Section 2.3 - Deductive Reasoning To Verify Conjectures